Dict(
	[16, 11, 2, 14, 13, 1, 1, 15, 1, 1] => QQFieldElem[3//8, 0, 0, 0])